Constraint Processing Techniques for Model-Based Reasoning about Dynamic Systems
نویسنده
چکیده
منابع مشابه
Mixed Qualitative/Quantitative Dynamic Simulation of Processing Systems
In this article the methodology proposed by Li and Wang for mixed qualitative and quantitative modeling and simulation of temporal behavior of processing unit is reexamined and extended to more complex case. The main issue of their approach considers the multivariate statistics of principal component analysis (PCA), along with clustered fuzzy digraphs and reasoning. The PCA and fuz...
متن کاملConstraint Logic Programming for Structure-based Reasoning about Dynamic Physical System
The paper describes a framework for reasoning about dynamic physical systems based on structure. The framework integrates the language of bond graphs (BG) with the language of constraint logic programming (CLP). The advantage of such integration is twofold. First, to exploit the wealth of reasoning methods developed in the BG area within system dynamics. Second, to enhance the naturalness of re...
متن کاملConstraint-based Models for Qualitative Reasoning on Continuous Dynamic Systems
In this paper we concentrate on practical aspects of qualitative modeling and reasoning about continuous dynamic systems using constraints, reporting our experience in simulation and diagnosis of real-life systems using constraint-based models and heuristics. We brieey introduce an high level declarative language L QDE (Qualitative Deviations Equations language) suitable for modeling the (corre...
متن کاملConstraint-based Models for Qualitative Reasoning on Dynamic Systems
In this paper we describe qualitative constraint-based modeling and reasoning strategies for simulationand diagnosis of continuous dynamic systems. We introduce a Qualitative Deviations Equations language for modeling the correct and faulty behavior of dynamic physical systems. We then address the task of implementing the language in a constraint processing framework, using heuristics (cycle cu...
متن کاملModel-based Diagnostics for Rocket Systems
A diagnostic software package is currently being developed at NASA Lewis Research Center that utilizes qualitative model-based reasoning techniques. These techniques can provide diagnostic information about the operational condition of the modeled rocket engine system or subsystem. The diagnostic package combines a qualitative model solver with a constraint suspension algorithm. The constraint ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001